МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ
«Национальный исследовательский ядерный университет «МИФИ»
Обнинский институт атомной энергетики –
филиал федерального государственного автономного образовательного учреждения высшего образования «Национальный исследовательский ядерный университет «МИФИ»
(ИАТЭ НИЯУ МИФИ)

Одобрено УМС ИАТЭ НИЯУ МИФИ,
Протокол №2-8/2021 От 30.08.2021

ФОНД ОЦЕНОЧНЫХ СРЕДСТВ

ПО УЧЕБНОЙ ДИСЦИПЛИНЕ МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

01.03.02 – Прикладная математика и информатика
(Код (шифр), наименование направления подготовки (специальности) ФГОС)

Прикладная информатика
(Профиль направления)

Название программы бакалавриата

бакалавр
(Квалификация (степень) выпускника)

очная
Форма обучения (очная, очно-заочная (вечерняя), заочная)

г. Обнинск 20 21 г.

Фонд оценочных средств составлен в соответствии с требованиями образовательного стандарта высшего образования национального исследовательского ядерного университета «МИФИ» по направлению подготовки 01.03.02 – Прикладная математика и информатика

Фонд оценочных средств составил

З.Х. Насыров, доцент каф. ПМ

Фонд оценочных средств рассмотрен на заседании отделения интеллектуальных кибернетических систем (О)
(протокол № 5/7 от «30» июля 2021 г.)

Рецензент_________  Заведующий лаб. Математических методов ФИАЦ ФГБУ «НПО «Тайфун», д.т.н Д. А. Камаев.

Программа рассмотрена на заседании отделения интеллектуальных кибернетических систем (О) (протокол № 5/7 от «30» июля  2021 г.)

Руководитель образовательной программы
01.03.02 – «Прикладная математика и информатика» 
_________________ 	С.В. Ермаков

«____»____________2021  г.

Область применения

Фонд оценочных средств (ФОС) – является неотъемлемой частью учебно-методического комплекса учебной дисциплины Дискретная математика и предназначен для контроля и оценки образовательных достижений обучающихся, освоивших программу данной дисциплины.

Цели и задачи фонда оценочных средств

Целью Фонда оценочных средств является установление соответствия уровня подготовки обучающихся требованиям федерального государственного образовательного стандарта.
Для достижения поставленной цели Фондом оценочных средств по дисциплине Дискретная математика решаются следующие задачи:
–	контроль и управление процессом приобретения обучающимися знаний, умений и навыков предусмотренных в рамках данного курса;
–	контроль и оценка степени освоения компетенций предусмотренных в рамках данного   курса;
–	обеспечение соответствия результатов обучения  задачам будущей профессиональной  деятельности через совершенствование традиционных и внедрение инновационных методов обучения в образовательный процесс в рамках данного курса.

1.	Перечень  компетенций  с  указанием  этапов  их  формирования  в  процессе  освоения образовательной программы

1.1.	Перечень   планируемых   результатов   обучения   по   дисциплине,   соотнесенных   с планируемыми результатами освоения образовательной программы
В  результате  освоения  ООП  бакалавриата   обучающийся  должен  овладеть  следующими результатами обучения по дисциплине:
Коды
компетенций	Результаты освоения
ООП
Содержание компетенций	Перечень планируемых
результатов обучения по дисциплине	
ОПК-2	Способен использовать и адаптировать существующие математические методы и системы программирования для разработки и реализации алгоритмов решения прикладных задач	Знать: методы моделирования
аксиоматических и алгоритмических систем

Уметь: делать оценку сложности алгоритмов и анализировать результаты работы алгоритмов

Владеть: методами решения основных видов задач.	

1.2.	Этапы формирования компетенций в процессе освоения ООП бакалавриата
Компоненты компетенций, как правило, формируются при изучении нескольких дисциплин, а также в немалой степени в процессе прохождения практик, НИР и во время самостоятельной работы обучающегося. Выполнение и защита ВКР являются видом учебной деятельности, который завершает процесс формирования компетенций.
Место дисциплины и соответствующий этап формирования компетенций в целостном процессе подготовки по образовательной программе можно определить по матрице компетенций.
Этапы формирования компетенции в процессе освоения дисциплины:
-	начальный этап – на этом этапе формируются знаниевые и инструментальные основы компетенции, осваиваются основные категории, формируются базовые умения. Студент воспроизводит термины, факты, методы, понятия, принципы и правила; решает учебные задачи по образцу;
-	основной этап – знания, умения, навыки, обеспечивающие формирование компетенции, значительно возрастают, но еще не достигают итоговых значений. На этом этапе студент осваивает аналитические действия с предметными знаниями по дисциплине, способен самостоятельно решать учебные задачи, внося коррективы в алгоритм действий, осуществляя коррекцию в ходе работы, переносит знания и умения на новые условия;
-	завершающий этап – на этом этапе студент достигает итоговых показателей по заявленной компетенции, то есть осваивает весь необходимый объем знаний, овладевает всеми умениями и навыками в сфере заявленной компетенции. Он способен использовать эти знания, умения, навыки при решении задач повышенной сложности и в нестандартных условиях.
Этапы формирования компетенций в ходе освоения дисциплины отражаются в тематическом плане (см.п. 4 рабочей программы дисциплины)

1.3.	Паспорт фонда оценочных средств по дисциплине

№ п/п	Контролируемые разделы (темы) дисциплины (результаты по разделам)	Код контролируемой компетенции (или её части) / и ее формулировка	Наименование оценочного средства	
1.	Аксиоматические теории	ОПК-2	Контрольная работа №1, экзамен.	
2.	Нечеткая логика и нечеткие множества	ОПК-2	Контрольная работа №1, экзамен.	
3.	Рекурсивные функции.	ОПК-2	Контрольная работа №1, экзамен.	
4.	Машины Тьюринга	ОПК-2	Контрольная работа №2, экзамен.	
5.	Формальные языки и грамматики	ОПК-2	Контрольная работа №2, экзамен.	
6.	Сложность алгоритмов.	ОПК-2	Экзамен.	

2.	Описание показателей и критериев оценивания компетенций на различных этапах их формирования, описание шкал оценивания
Конечными результатами освоения программы дисциплины являются сформированные когнитивные дескрипторы «знать», «уметь», «владеть», расписанные по отдельным компетенциям, которые приведены в п.1.1. Формирование этих дескрипторов происходит в процессе изучения дисциплины по этапам в рамках различного вида учебных занятий и самостоятельной работы.
Выделяются три уровня сформированности компетенций на каждом этапе: пороговый, продвинутый и высокий.

Уровни	Содержательное описание уровня	Основные признаки выделения уровня	Оценка	
Высокий
Все виды компетенций сформированы на высоком уровне в соответствии с целями и задачами дисциплины	Творческая деятельность	Включает нижестоящий уровень. Студент демонстрирует свободное обладание компетенциями, способен применить их в нестандартных ситуациях: показывает умение самостоятельно принимать решение,
решать проблему/задачу теоретического или прикладного характера на основе изученных методов, приемов, технологий	

90-100 баллов А
Отлично	
Продвинутый Все виды компетенций сформированы на продвинутом уровне в
соответствии с целями и задачами дисциплины	Применение знаний и умений в более широких контекстах учебной и профессиональной деятельности, нежели по образцу, с большей
долей самостоятельности и инициативы	Включает нижестоящий уровень. Студент может доказать владение компетенциями: демонстрирует способность собирать, систематизировать, анализировать и грамотно использовать информацию из самостоятельно найденных
теоретических источников и иллюстрировать ими теоретические положения или обосновывать практику применения.	

85-89 баллов B
Очень хорошо	
			
75-84 балла С
Хорошо	
Пороговый			65-74 балла	

Все виды компетенций
сформированы на пороговом уровне	Репродуктивная деятельность	Студент демонстрирует владение компетенциями в стандартных
ситуациях: излагает в пределах задач курса теоретически и практически контролируемый материал.	D
Удовлетвори- тельно	
			60-64 балла E
Посредственно	
Ниже порогового	Отсутствие признаков порогового уровня: компетенции не сформированы.
Студент не в состоянии продемонстрировать обладание компетенциями в стандартных ситуациях.	0-59 баллов Неудовлетвори- тельно/	

3.	Методические материалы, определяющие процедуры оценивания знаний, умений, навыков или опыта деятельности, характеризующих этапы формирования компетенций.
Рейтинговая оценка знаний является интегральным показателем качества теоретических и практических знаний и навыков студентов по дисциплине и складывается из оценок, полученных в ходе текущего контроля и промежуточной аттестации.
Текущий контроль в семестре проводится с целью обеспечения своевременной обратной связи, для коррекции обучения, активизации самостоятельной работы студентов.
Промежуточная аттестация предназначена для объективного подтверждения и оценивания достигнутых результатов обучения после завершения изучения дисциплины.
Текущий контроль осуществляется два раза в семестр: контрольная работа № 1 (КР № 1), контрольная работа № 2 (КР № 2).
Результаты текущего контроля и промежуточной аттестации подводятся по шкале балльно-рейтинговой системы.

Вид контроля	Этап рейтинговой системы Оценочное средство	Балл	
Текущий	Контрольная работа № 1	30	
	Задача №1. Метод резолюций в аксиоматических иеориях	10	
	Задача №2. Нечеткие множества	10	
	Задача №3. Примитивно рекурсивные функции	10	
	Контрольная работа № 2	30	
	Задача №4. Написание программы для машины Тьюринга	10	
	Задача №5. Композиция машин Тьюринга	10	
	Задача №6. Построение конечного автомата и порождающей грамматики для регулярного языка	10	
Промежуточный	Экзамен	40	
	Вопрос №1 по аксиоматическим теориям или нечеткой логике	14	
	Вопрос №2 по теории алгоритмов	13	
	Вопрос №3 по формальным языкам и грамматикам	13	
ИТОГО по дисциплине	100